Activity sequence modes for Web services and verifications

Behavior requirement expression and its satisfiability verification for composite Web services is one of the ongoing issues in service computing.In this paper,the concept of behavior specifications based on activity sequence is proposed to express one kind of behavioral requirements for composite Web services.Its basic element is activity sequence.The method to express such behavioral requirements by behavioral modes is presented.Five behavioral modes used in this method are adopted.Through mapping modes to Labeled Transition Systems(LTSs),these modes are encoded with exact operation semantics.Then,the sufficient and necessary conditions as well as the checking algorithm for satisfiability of behavioral modes are given.Finally,an example analysis is presented.The result indicates that the behavioral requirements based on activity sequence are more suitable for the case of composite Web service than those based on activity or scenario.The behavioral modes expressions are concise and the satisfiability checking is effective by the given algorithm.     

二维零相关区周期互补序列偶及其理论界的研究

为了给通信系统提供更多的最佳离散信号,提出了一种新的最佳离散信号,即二维零相关区周期互补序列偶,研究了二维零相关区周期互补序列偶的变换性质,利用矩阵秩的不等式推导出了二维零相关区周期互补序列偶的理论界。基于循环左移算子,以缩小零相关区为代价,给出了一种扩展二维零相关区周期互补序列偶集的方法,该方法可以为通信系统提供大规模的信号集。     

分圆方法及其在序列设计中的应用

分圆数是基础数论中的古老问题,它与数论中的华林问题、组合设计中的差集的构造、编码理论、序列设计及密码学中的很多问题密切相关.简述了该问题的起源,基于对分圆数的基本性质的分析,讨论了分圆数在二元序列设计中的应用,以提高相关研究人员对学科交叉的认识.     

GF(3)上一类几乎平衡的6阶分圆序列

具有良好自相关性的伪随机序列在信息安全等领域中有着广泛的应用.在GF(3)上构造一类周期为p的几乎平衡6阶分圆序列,利用6阶分圆数计算出该序列的自相关值,并进一步给出满足适当条件的素数p,使得这类序列的自相关值为3值.     

可构造序列数字之和函数的r次均值

研究一个由数字"1,2"构成的可构造序列,运用初等方法给出关于此构造序列的第n项各位数字之和函数r次均值的一个有趣的渐近公式,从而对这个构造序列有了进一步的认识.     

基于Petri网的计算机支持的协同设计仿真技术研究

协作模型的分析和优化是提高协同工作效率的关键技术,可以广泛应用于协同设计等工程领域。利用贴近度理论和Petri网技术,分析了协同活动事件间的模糊时间关系,研究了协同设计过程建模方法,采用面向对象方法描述模型元素的数据结构,设计了系统仿真算法。实验表明,该建模和仿真方法提高了对协同设计过程的描述能力,实现了对协同设计过程时序推理和定量分析。     

一种适合IEEE802.16m的改进前导字结构和定时同步算法

结合IEEE802.16m协议分析了定时同步误差对系统性能的影响。通过对同步训练序列及传统定时同步算法的分析,提出了一种适合IEEE802.16m系统的定时同步方案。该方案利用训练序列的相关性,通过改进前导字结构及同步算法实现接收端的定时同步。在高斯信道和SUI-3信道下进行了仿真。结果表明,改进的定时同步方案优于传统方案,具有良好的性能,且易于实现。     

中华补血草金属硫蛋白基因的克隆及高盐处理下的表达模式分析

以中华补血草叶片为材料,提取其总RNA并反转录cDNA,并以cDNA为模板,克隆得到包含该基因完整开放阅读框的cDNA序列,序列分析表明,该基因开放阅读框长249 bp,编码82个氨基酸;该蛋白含有14个半胱氨酸,主要分布在蛋白质的N端和C端,呈CC,CX,CXXC形式排列.预测该蛋白分子质量为8 133.1 D;等电...     

红外序列图像目标的高效跟踪

针对Mean shift算法中仅使用灰度特征难于实现对红外序列图像目标准确跟踪的问题,提出了利用边缘-灰度特征相融合的目标跟踪算法.为了实现红外序列图像中目标的高效跟踪,在研究Mean shift灰度特征的基础上,根据红外序列图像的边缘方向信息与灰度信息构建了边缘-灰度目标模型,将此模型应用到目标跟踪算法中,提高了Mean shift算法在红外序列图像目标跟踪过程中的运算能力.实验证明,该方法能够增加灰度直方图对目标模型的描述能力,提高了目标跟踪算法的鲁棒性.     

浅析DSSS通信系统及其SystemView仿真

研究了扩频通信的理论基础,重点研究了DSSS通信的基本原理,并运用System View软件对整个通信过程进行仿真,给出具体分析。